function mtell(text)
  cecho("\n<white>(<green>Mantis<white>): <green>"..text)
end
